computer science

OPENS DOORS

Defeasible Reasoning Interest Group

Here are the discussions which took place from 2000 to 2003:

 

2000

 

Possible world semantics (Willem Labuschagne)

J v Benthem, Modal Foundations for Predicate Logic, L. J. of the IGPL 5(2) 1997 259-286.

 

Minimal model semantics (Willem Labuschagne):

Y Shoham, Reasoning about change, MIT Press 1987.

S Kraus, D Lehmann, and M Magidor, Nonmonotonic Reasoning, Preferential Models and Cumulative Logics, Artificial Intelligence 44 1990 167-207.

D Lehmann and M Magidor, What Does a Conditional Knowledge Base Entail? Artificial Intelligence 55 1992 1-60.

 

Belief change (Willem Labuschagne):

P Gärdenfors, Knowledge in flux: modeling the dynamics of epistemic states, MIT Press 1988.

P Gärdenfors and D Makinson, Revisions of Knowledge Systems Using Epistemic Entrenchment, 83-95 in M Vardi (ed) Proceedings of the 2nd TARK Conference, Morgan Kaufmann 1988.

TA Meyer, WA Labuschagne, and J Heidema, Refined Epistemic Entrenchment, JoLLI 9 2000 237-259.

 

Verisimilitude (Johannes Heidema, University of South Africa, William Evans Fellow 2000):

C Brink and J Heidema, A verisimilar ordering of theories phrased in a propositional language, The British Journal for the Philosophy of Science 38:533-549 1987

J Heidema and IC Burger, Comparing theories by their positive and negative contents, The British Journal for the Philosophy of Science 45:605-630 1993

IC Burger and J Heidema, Epistemic states guiding the rational dynamics of information, 275-285 in Mizoguchi and Slaney (editors), PRICAI 2000: Advanced Topics in AI, LNAI 1886 Springer 2000.

 

2001

 

Semantics of agent communication (Stephen Cranefield):

MA Sadek, Logical Task Modelling for Man-Machine Dialogue, in Proceedings of the 8th AAAI Conference, Morgan Kaufmann 1990.

AS Rao and M Georgeff, Modeling Rational Agents within a BDI-Architecture, in Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning, KR91, J Allen, R Fikes, and E Sandewall (eds), Morgan Kaufmann 1991.

A Rao and M Georgeff, An Abstract Architecture for Rational Agents, in B Nebel, C Rich, and W Swartout (eds) Proceedings of the 3rd International Conference on Principles of Knowledge Representation and Reasoning, KR92, Morgan Kaufmann 1992.

MA Sadek, A Study in the Logic of Intention, in B Nebel, C Rich and W Swartout (eds) Proceedings of the 3rd International Conference on Principles of knowledge Representation and Reasoning, KR92, Morgan Kaufmann 1992.

A Jones and M Sergot, A formal characterisation of institutionalised power. Journal of the IGPL, 4(3), 1996 Chapter 2 (Basic Building Blocks) and Chapter 9 (Signalling Acts) of ALFEBIITE Deliverable D2: A Logical Framework for Norm-Governed Behaviour between Infohabitants in the Universal Information Ecosystem, Jones, A. and Krogh, C. (eds.) 2001.
http://alfebiite.ee.ic.ac.uk/docs/Deliverables/D2.pdf

N Fornara and M Colombetti, Operational specification of a commitment-based agent communication language. Proceedings of the First International Joint Conference on Autonomous Agents and Multiagent Systems, Part 2, pp 536-542, ACM Press, 2002.
http://doi.acm.org/10.1145/544862.544868

F McCabe, Semantics Framework - where we're going. Input Document f-in-00067, Foundation for Intelligent Physical Agents, 2002.
http://www.fipa.org/docs/input/f-in-00067/f-in-00067.pdf

Foundation for Intelligent Physical Agents. FIPA Communicative Act Library Specification, 2002.
http://www.fipa.org/specs/fipa00037/

 

Categories and prototypes (Anthony Robins):

G Lakoff, Women, Fire, and Dangerous Things: What Categories Reveal About the Mind, University of Chicago Press, Chicago 1987.

E Rosch, Principles of categorization, 312-322 in Collins and Smith (editors), Readings in Cognitive Science, Morgan Kaufmann 1988.

A Robins, Transfer in cognition, Connection Science 8(2):185-203 1996.

 

Generic sentences (Alistair Knott):

G Carlson and J Pelletier (eds) The Generic Book, University of Chicago Press, 1995.

I Heim and A Kratzer, Semantics in Generative Grammar , Blackwell textbooks in linguistics, 1998.

 

Hidden Markov Models (Terry Caelli, University of Alberta, William Evans Fellow 2001):

LR Rabiner and BH Juang, An introduction to Hidden Markov Models, IEEE ASSP Magazine 4-16 January 1986

T Caelli, A McCabe and G Briscoe, Shape tracking and production using Hidden Markov Models, International Journal of Pattern Recognition and Artificial Intelligence 15(1):197-221 2001.

 

 

2002

 

Epistemic dynamic logic (Hans van Ditmarsch):

HP van Ditmarsch, Descriptions of game actions, Journal of Logic, Language, and Information (JoLLI), 11:349-365 2002.

 

Bayesian inference (Brendan McCane):

C Howson and P Urbach, Scientific Reasoning: The Bayesian Approach, 2nd edition, Open Court 1989.

 

Only knowing (Wiebe van der Hoek, University of Liverpool, William Evans Fellow 2002):

W van der Hoek, JOM Jaspars and EGC Thijsse, Honesty in partial logic, Studia Logica, 56(3):323-360 1996

W van der Hoek, JOM Jaspars and EGC Thijsse, Persistence and minimality in epistemic logic, Annals of Mathematics and Artificial Intelligence 27:25-47 2000

 

Tutorial on Support Vector Machines (Jim Hogan, Queensland University of Technology):

JM Hogan, Y Hitchcock and J Diederich, Support vector machine classification of facial expressions, 6th Australasian Cognitive Science Conference, Perth, Australia 2002.

 

2003

 

Foundations of Affective Computing (Anthony Robins)

Cosmides L & Tooby J, Evolutionary psychology and the emotions. In Lewis & Haviland-Jones (editors), Handbook of Emotions Chapter 7 pp 91-115.

Isen AM, Positive affect and decision making. In Lewis & Haviland-Jones (editors), Handbook of Emotions Chapter 27 pp 417-435.

Lewis & Haviland-Jones (editors), Handbook of Emotions (2nd edition), Guilford 2000

Mayne T J & Bonanno G A (editors), Emotions: Current Issues and Future Directions, Guilford 2001.

Panksepp J Affective Neuroscience: The Foundations of Human and Animal Emotions, Oxford University Press 1998.

 

 

Agent Communication, Institutional Actions, and Commitment (Marco Colombetti, Politecnico di Milano and University of Lugano, William Evans Fellow 2003)

JR Searle, Speech Acts, Cambridge University Press 1969.

JR Searle, The construction of social reality, Simon & Schuster 1995.

A Jones and MJ Sergot, A formal characterisation of institutionalised power, Journal of the IGPL 4:429-445 1996.

PR Cohen and HJ Levesque, Rational interaction as the basis for communication, in PR Cohen, J Morgan and ME Pollack (editors), Intentions in Communication 221-256, MIT Press 1990.

Verdicchio M and Colombetti M, Commitments for agent-based supply chain management, ACM SIGecom Exchanges 3(1):13-23 2002.

Fornara N and Colombetti M, Operational specification of a commitment-based communication language, Proc. of AAMAS 2002 Bologna 1157-1164 2002

Fornara N and Colombetti M, Defining interaction protocols using a commitment-based agent communication language, Proc. of AAMAS 2003 Melbourne 2003

Verdicchio M and Colombetti M, A logical model of social commitment for agent communication, Proc of AAMAS 2003 Melbourne 2003.

Verdicchio M and Colombetti M, A logical model for agent communication languages, Proc. of LCMAS 03 Eindhoven 2003.