Code:
/ Net / Net / 3.5.50727.3053 / DEVDIV / depot / DevDiv / releases / Orcas / SP / ndp / fx / src / DataEntity / System / Data / Common / Utils / Boolean / KnowledgeBase.cs / 3 / KnowledgeBase.cs
//---------------------------------------------------------------------- //// Copyright (c) Microsoft Corporation. All rights reserved. // // // @owner [....] // @backupOwner [....] //--------------------------------------------------------------------- using System; using System.Collections.Generic; using System.Text; using System.Globalization; using System.Collections.ObjectModel; using System.Diagnostics; namespace System.Data.Common.Utils.Boolean { ////// Data structure supporting storage of facts and proof (resolution) of queries given /// those facts. /// /// For instance, we may know the following facts: /// /// A --> B /// A /// /// Given these facts, the knowledge base can prove the query: /// /// B /// /// through resolution. /// ///Type of leaf term identifiers in fact expressions. internal class KnowledgeBase{ private readonly List > _facts; private Vertex _knowledge; private readonly ConversionContext _context; /// /// Initialize a new knowledge base. /// internal KnowledgeBase() { _facts = new List>(); _knowledge = Vertex.One; // we know '1', but nothing else at present _context = IdentifierService .Instance.CreateConversionContext(); } /// /// Adds all facts from another knowledge base /// /// The other knowledge base internal void AddKnowledgeBase(KnowledgeBasekb) { foreach (BoolExpr fact in kb._facts) { AddFact(fact); } } /// /// Adds the given fact to this KB. /// /// Simple fact. internal virtual void AddFact(BoolExprfact) { _facts.Add(fact); Converter converter = new Converter (fact, _context); Vertex factVertex = converter.Vertex; _knowledge = _context.Solver.And(_knowledge, factVertex); } /// /// Adds the given implication to this KB, where implication is of the form: /// /// condition --> implies /// /// Condition /// Entailed expression internal void AddImplication(BoolExprcondition, BoolExpr implies) { AddFact(new Implication(condition, implies)); } /// /// Adds an equivalence to this KB, of the form: /// /// left iff. right /// /// Left operand /// Right operand internal void AddEquivalence(BoolExprleft, BoolExpr right) { AddFact(new Equivalence(left, right)); } public override string ToString() { StringBuilder builder = new StringBuilder(); builder.AppendLine("Facts:"); foreach (BoolExpr fact in _facts) { builder.Append("\t").AppendLine(fact.ToString()); } return builder.ToString(); } // Private class improving debugging output for implication facts // (fact appears as A --> B rather than !A + B) private class Implication : OrExpr { BoolExpr _condition; BoolExpr _implies; // (condition --> implies) iff. (!condition OR implies) internal Implication(BoolExpr condition, BoolExpr implies) : base(condition.MakeNegated(), implies) { _condition = condition; _implies = implies; } public override string ToString() { return StringUtil.FormatInvariant("{0} --> {1}", _condition, _implies); } } // Private class improving debugging output for equivalence facts // (fact appears as A <--> B rather than (!A + B) . (A + !B)) private class Equivalence : AndExpr { BoolExpr _left; BoolExpr _right; // (left iff. right) iff. (left --> right AND right --> left) internal Equivalence(BoolExpr left, BoolExpr right) : base(new Implication(left, right), new Implication(right, left)) { _left = left; _right = right; } public override string ToString() { return StringUtil.FormatInvariant("{0} <--> {1}", _left, _right); } } } } // File provided for Reference Use Only by Microsoft Corporation (c) 2007. //---------------------------------------------------------------------- // // Copyright (c) Microsoft Corporation. All rights reserved. // // // @owner [....] // @backupOwner [....] //--------------------------------------------------------------------- using System; using System.Collections.Generic; using System.Text; using System.Globalization; using System.Collections.ObjectModel; using System.Diagnostics; namespace System.Data.Common.Utils.Boolean { ////// Data structure supporting storage of facts and proof (resolution) of queries given /// those facts. /// /// For instance, we may know the following facts: /// /// A --> B /// A /// /// Given these facts, the knowledge base can prove the query: /// /// B /// /// through resolution. /// ///Type of leaf term identifiers in fact expressions. internal class KnowledgeBase{ private readonly List > _facts; private Vertex _knowledge; private readonly ConversionContext _context; /// /// Initialize a new knowledge base. /// internal KnowledgeBase() { _facts = new List>(); _knowledge = Vertex.One; // we know '1', but nothing else at present _context = IdentifierService .Instance.CreateConversionContext(); } /// /// Adds all facts from another knowledge base /// /// The other knowledge base internal void AddKnowledgeBase(KnowledgeBasekb) { foreach (BoolExpr fact in kb._facts) { AddFact(fact); } } /// /// Adds the given fact to this KB. /// /// Simple fact. internal virtual void AddFact(BoolExprfact) { _facts.Add(fact); Converter converter = new Converter (fact, _context); Vertex factVertex = converter.Vertex; _knowledge = _context.Solver.And(_knowledge, factVertex); } /// /// Adds the given implication to this KB, where implication is of the form: /// /// condition --> implies /// /// Condition /// Entailed expression internal void AddImplication(BoolExprcondition, BoolExpr implies) { AddFact(new Implication(condition, implies)); } /// /// Adds an equivalence to this KB, of the form: /// /// left iff. right /// /// Left operand /// Right operand internal void AddEquivalence(BoolExprleft, BoolExpr right) { AddFact(new Equivalence(left, right)); } public override string ToString() { StringBuilder builder = new StringBuilder(); builder.AppendLine("Facts:"); foreach (BoolExpr fact in _facts) { builder.Append("\t").AppendLine(fact.ToString()); } return builder.ToString(); } // Private class improving debugging output for implication facts // (fact appears as A --> B rather than !A + B) private class Implication : OrExpr { BoolExpr _condition; BoolExpr _implies; // (condition --> implies) iff. (!condition OR implies) internal Implication(BoolExpr condition, BoolExpr implies) : base(condition.MakeNegated(), implies) { _condition = condition; _implies = implies; } public override string ToString() { return StringUtil.FormatInvariant("{0} --> {1}", _condition, _implies); } } // Private class improving debugging output for equivalence facts // (fact appears as A <--> B rather than (!A + B) . (A + !B)) private class Equivalence : AndExpr { BoolExpr _left; BoolExpr _right; // (left iff. right) iff. (left --> right AND right --> left) internal Equivalence(BoolExpr left, BoolExpr right) : base(new Implication(left, right), new Implication(right, left)) { _left = left; _right = right; } public override string ToString() { return StringUtil.FormatInvariant("{0} <--> {1}", _left, _right); } } } } // File provided for Reference Use Only by Microsoft Corporation (c) 2007.
Link Menu
![Network programming in C#, Network Programming in VB.NET, Network Programming in .NET](/images/book.jpg)
This book is available now!
Buy at Amazon US or
Buy at Amazon UK
- ValidationContext.cs
- ListViewItem.cs
- TypedAsyncResult.cs
- WebPartTracker.cs
- PenThreadPool.cs
- EntityDataSourceContainerNameItem.cs
- XmlDataSourceNodeDescriptor.cs
- Decimal.cs
- ElementMarkupObject.cs
- SqlCommand.cs
- FrameworkObject.cs
- DataGridViewCellStyleContentChangedEventArgs.cs
- FixedSOMTableCell.cs
- QueueProcessor.cs
- BitmapEffect.cs
- ComplexBindingPropertiesAttribute.cs
- ResourcePool.cs
- ImageListUtils.cs
- XmlReader.cs
- SByteConverter.cs
- ChineseLunisolarCalendar.cs
- Choices.cs
- ProcessProtocolHandler.cs
- AttributeCollection.cs
- ThumbButtonInfoCollection.cs
- Comparer.cs
- HGlobalSafeHandle.cs
- SingleObjectCollection.cs
- RtfNavigator.cs
- CompoundFileStorageReference.cs
- WindowHideOrCloseTracker.cs
- SoapAttributeAttribute.cs
- XmlSignificantWhitespace.cs
- Timeline.cs
- WpfWebRequestHelper.cs
- DisableDpiAwarenessAttribute.cs
- DataGridViewRowErrorTextNeededEventArgs.cs
- NativeMethods.cs
- SpellerStatusTable.cs
- Quaternion.cs
- SystemIPGlobalStatistics.cs
- TabControl.cs
- XmlAttributeAttribute.cs
- ListComponentEditorPage.cs
- CreateUserErrorEventArgs.cs
- SerializationIncompleteException.cs
- OleDbCommand.cs
- ListViewContainer.cs
- ResourceAttributes.cs
- TraceHandlerErrorFormatter.cs
- Operator.cs
- PageContent.cs
- IpcClientManager.cs
- UnsafeNetInfoNativeMethods.cs
- XmlSchemaGroupRef.cs
- DataViewListener.cs
- MembershipSection.cs
- UnaryQueryOperator.cs
- ListViewDeleteEventArgs.cs
- _OverlappedAsyncResult.cs
- AffineTransform3D.cs
- ImageButton.cs
- SrgsSubset.cs
- OdbcConnectionOpen.cs
- XsltContext.cs
- QueryRewriter.cs
- PartialCachingAttribute.cs
- WebEncodingValidator.cs
- BindingExpressionUncommonField.cs
- StreamInfo.cs
- FlatButtonAppearance.cs
- TimeoutHelper.cs
- EditorAttributeInfo.cs
- RegistrationServices.cs
- XmlSerializerAssemblyAttribute.cs
- GeometryCombineModeValidation.cs
- AnnotationAuthorChangedEventArgs.cs
- EdmSchemaError.cs
- serverconfig.cs
- ScrollChangedEventArgs.cs
- ToolBarButtonClickEvent.cs
- thaishape.cs
- DictionaryManager.cs
- bidPrivateBase.cs
- XsltQilFactory.cs
- BitmapMetadataBlob.cs
- HitTestDrawingContextWalker.cs
- Context.cs
- MembershipUser.cs
- MethodToken.cs
- DetailsViewModeEventArgs.cs
- _Win32.cs
- HtmlLink.cs
- XmlDataImplementation.cs
- RawContentTypeMapper.cs
- OracleNumber.cs
- SecurityPolicySection.cs
- Table.cs
- InstanceData.cs
- DoubleLinkList.cs