NDLI: Towards tractable reasoning on temporal projection problems

Content Provider	IEEE Xplore Digital Library
Author	Xing Tan Gruninger, M.
Copyright Year	2009
Description	Author affiliation: Semantic Technologies Laboratory, Department of Mechanical and Industrial Engineering, University of Toronto, Canada (Xing Tan; Gruninger, M.)
Abstract	It is well known that reasoning with AI temporal projection problems is difficult. Determining the Possible Truth problem, a basic temporal projection decision problem, in the so-called Simple Event System remains NP-complete. In this paper, two types of constraints, on the graph-theoretic representation of the cause-and-effect relationships between events and on the partial orders of events, are further considered upon this boundary NP-complete Possible Truth problem, in an attempt to gain tractability. In particular, we show that the problem is still NP-complete even if the cause-and-effect graphs maintain a strongly restricted topology, whereas it is tractable if the graph is closely associated with the set of pairwise disjoint partial orders, which in addition is hierarchically structured.
Starting Page	723
Ending Page	727
File Size	112198
Page Count	5
File Format	PDF
ISBN	9781424447541
DOI	10.1109/ICICISYS.2009.5358396
Language	English
Publisher	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Publisher Date	2009-11-20
Publisher Place	China
Access Restriction	Subscribed
Rights Holder	Institute of Electrical and Electronics Engineers, Inc. (IEEE)
Subject Keyword	Semantic Web Manufacturing processes Uncertainty Laboratories Process control Knowledge representation Industrial engineering Polynomials Topology Artificial intelligence
Content Type	Text
Resource Type	Article

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

Fuzzy process for spatial semantic information

Research on Reasoning of the Dynamic Semantic Web Services Composition

Representation and Reasoning of Fuzzy Temporal Knowledge

Dynamic consistency of fuzzy conditional temporal problems

Type 2 uncertainty in knowledge representation and reasoning

Recognising a scenario by calculating a temporal proximity index between constraint graphs

A dynamic knowledge modeler

Knowledge representation for real time industrial process modelization

A Survey on Disk Oriented Querying and Reasoning on the Semantic Web

Towards tractable reasoning on temporal projection problems

Similar Documents

Fuzzy process for spatial semantic information

Research on Reasoning of the Dynamic Semantic Web Services Composition

Representation and Reasoning of Fuzzy Temporal Knowledge

Dynamic consistency of fuzzy conditional temporal problems

Type 2 uncertainty in knowledge representation and reasoning

Recognising a scenario by calculating a temporal proximity index between constraint graphs

A dynamic knowledge modeler

Knowledge representation for real time industrial process modelization

A Survey on Disk Oriented Querying and Reasoning on the Semantic Web

Towards tractable reasoning on temporal projection problems