NDLI: On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic

Content Provider	Springer Nature Link
Author	Moubaiddin, Asma Obeid, Nadim
Copyright Year	2012
Abstract	In this paper, we take the view that any formalization of commitments has to come together with a formalization of time, events/actions and change. We enrich a suitable formalism for reasoning about time, event/action and change in order to represent and reason about commitments. We employ a three-valued based temporal first-order non-monotonic logic (TFONL) that allows an explicit representation of time and events/action. TFONL subsumes the action languages presented in the literature and takes into consideration the frame, qualification and ramification problems, and incorporates to a domain description the set of rules governing change. It can handle protocols for the different types of dialogues such as information seeking, inquiry and negotiation. We incorporate commitments into TFONL to obtain Com-TFONL. Com-TFONL allows an agent to reason about its commitments and about other agents’ behaviour during a dialogue. Thus, agents can employ social commitments to act on, argue with and reason about during interactions with other agents. Agents may use their reasoning and argumentative capabilities in order to determine the appropriate communicative acts during conversations. Furthermore, Com-TFONL allows for an integration of commitments and arguments which helps in capturing the public aspects of a conversation and the reasoning aspects required in coherent conversations.
Starting Page	417
Ending Page	452
Page Count	36
File Format	PDF
ISSN	02191377
Journal	Knowledge and Information Systems
Volume Number	37
Issue Number	2
e-ISSN	02193116
Language	English
Publisher	Springer London
Publisher Date	2012-11-06
Publisher Place	London
Access Restriction	One Nation One Subscription (ONOS)
Subject Keyword	Agent interaction Social commitment Representation Reasoning Incomplete information Argumentation Dialogue Temporal Event/Action Information Systems and Communication Service Business Information Systems
Content Type	Text
Resource Type	Article
Subject	Artificial Intelligence Information Systems Human-Computer Interaction Hardware and Architecture Software

Sl.	Authority	Responsibilities	Communication Details
1	Ministry of Education (GoI), Department of Higher Education	Sanctioning Authority	https://www.education.gov.in/ict-initiatives
2	Indian Institute of Technology Kharagpur	Host Institute of the Project: The host institute of the project is responsible for providing infrastructure support and hosting the project	https://www.iitkgp.ac.in
3	National Digital Library of India Office, Indian Institute of Technology Kharagpur	The administrative and infrastructural headquarters of the project	Dr. B. Sutradhar bsutra@ndl.gov.in
4	Project PI / Joint PI	Principal Investigator and Joint Principal Investigators of the project	Dr. B. Sutradhar bsutra@ndl.gov.in Prof. Saswat Chakrabarti will be added soon
5	Website/Portal (Helpdesk)	Queries regarding NDLI and its services	support@ndl.gov.in
6	Contents and Copyright Issues	Queries related to content curation and copyright issues	content@ndl.gov.in
7	National Digital Library of India Club (NDLI Club)	Queries related to NDLI Club formation, support, user awareness program, seminar/symposium, collaboration, social media, promotion, and outreach	clubsupport@ndl.gov.in
8	Digital Preservation Centre (DPC)	Assistance with digitizing and archiving copyright-free printed books	dpc@ndl.gov.in
9	IDR Setup or Support	Queries related to establishment and support of Institutional Digital Repository (IDR) and IDR workshops	idr@ndl.gov.in

Temporal Defeasible Reasoning

TeMAS–a multi-agent system for temporally rich domains

Knowledge and information distribution leveraged by intelligent agents

Action rule discovery from incomplete data

T-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework

Defeasible argumentation support for an extended bdi architecture ⋆.

IMC: A Method for Interval Calculus in Matrix

Representing defeasible constraints and observations in action theories.

On integrating event definition and event detection

On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic

Similar Documents

Temporal Defeasible Reasoning

TeMAS–a multi-agent system for temporally rich domains

Knowledge and information distribution leveraged by intelligent agents

Action rule discovery from incomplete data

T-DeLP: an argumentation-based Temporal Defeasible Logic Programming framework

Defeasible argumentation support for an extended bdi architecture ⋆.

IMC: A Method for Interval Calculus in Matrix

Representing defeasible constraints and observations in action theories.

On integrating event definition and event detection

On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic